The Alexander duality functors and local duality with monomial support
نویسنده
چکیده
Alexander duality is made into a functor which extends the notion for monomial ideals to any finitely generated N-graded module. The functors associated with Alexander duality provide a duality on the level of free and injective resolutions, and numerous Bass and Betti number relations result as corollaries. A minimal injective resolution of a module M is equivalent to the injective resolution of its Alexander dual, and contains all of the maps in the minimal free resolution of M over every Z-graded localization. Results are obtained on the interaction of duality for resolutions with cellular resolutions and lcm-lattices. Using injective resolutions, theorems of Eagon-Reiner and Terai are generalized to all N-graded modules: the projective dimension of M equals the supportregularity of its Alexander dual, and M is Cohen-Macaulay if and only if its Alexander dual has a support-linear free resolution. Alexander duality is applied in the context of the Z-graded local cohomology functors H I (−) for squarefree monomial ideals I in the polynomial ring S, proving a duality directly generalizing local duality, which is the case when I = m is maximal. In the process, a new flat complex for calculating local cohomology at monomial ideals is introduced, showing, as a consequence, that Terai’s formula for the Hilbert series of H I (S) is equivalent to Hochster’s for H m (S/I).
منابع مشابه
Graded Greenlees-may Duality and the Čech Hull
The duality theorem of Greenlees and May relating local cohomology with support on an ideal I and the left derived functors of I-adic completion [GM92] holds for rather general ideals in commutative rings. Here, simple formulas are provided for both local cohomology and derived functors of Z-graded completion, when I is a monomial ideal in the Z-graded polynomial ring k[x1, . . . , xn]. Greenle...
متن کاملDerived Category of Squarefree Modules and Local Cohomology with Monomial Ideal Support
A squarefree module over a polynomial ring S = k[x1, . . . , xn] is a generalization of a Stanley-Reisner ring, and allows us to apply homological methods to the study of monomial ideals more systematically. The category Sq of squarefree modules is equivalent to the category of finitely generated left Λ-modules, where Λ is the incidence algebra of the Boolean lattice 2. The derived category D(S...
متن کاملMonomial Ideals and Duality
These are lecture notes, in progress, on monomial ideals. The point of view is that monomial ideals are best understood by drawing them and looking at their corners, and that a combinatorial duality satisfied by these corners, Alexander duality, is key to understanding the more algebraic duality theories at play in algebraic geometry and commutative algebra. Sections written so far cover Alexan...
متن کاملAlexander Duality for Monomial Ideals and Their Resolutions
Alexander duality has, in the past, made its way into commutative algebra through Stanley-Reisner rings of simplicial complexes. This has the disadvantage that one is limited to squarefree monomial ideals. The notion of Alexander duality is generalized here to arbitrary monomial ideals. It is shown how this duality is naturally expressed by Bass numbers, in their relations to the Betti numbers ...
متن کامل. A C ] 1 6 D ec 1 99 8 Alexander Duality for Monomial Ideals and Their Resolutions
Alexander duality has, in the past, made its way into commutative algebra through Stanley-Reisner rings of simplicial complexes. This has the disadvantage that one is limited to squarefree monomial ideals. The notion of Alexander duality is generalized here to arbitrary monomial ideals. It is shown how this duality is naturally expressed by Bass numbers, in their relations to the Betti numbers ...
متن کامل